Correct type-checking of calls

Correctly type-check calls. Resolves #4 (closed)

1. Checking the argument types against the parameter types by substituting the dynamic constants of the call into the parameter types
2. Producing the return type of the function by substituting the dynamic constants into the function's return type