Starting to type checking functions and assignments