Factorial Calculator - Algol Typing CST Test