Starting to type check function calls