modify COMPILE-STATEMENT to use variable environment
remove type environment which is not needed anymore
modify TYPE-OF-EXPRESSION function and its related functions and tests to use function environment