Ignore .nrepl-port.
Type checker supports primitives and multi-arity function invocation.
Multi-arity function type definition.
Type check function definitions. Only checks first clause yet.