PLD Lab Lab 8 Type checking implemented, tested with factorial.cpp. Run the test program $ cd Clite-student $ java StateicTypeCheck .../programs/factorial.cpp