The parser lets you use different names for a function when declaring it types and its body. For example:
f1: int -> int f2(x) == x
The first name is the one that counts but this should throw out a parse error.
