Factorial - Vhdl Typing CST Test