Modula-3 Factorial Program - Modula Typing CST Test