Changed all Ast nodes in get_type function to Sast S_expr nodes; added more functions for my type checking; started working on second pass; non-polymorphic variable definitions might be done