Should be able to refer to function types: `fn(int: n): int` No rtype annotation should imply void Should be able to not supply arg names: `fn(int) <: fn(n: int)` Make sure mutable arg types are not allowed