Starting to type check function declarations