Add semantical analysis for functions and compount statements

All types are set to IntType for now.