Typechecker now get's type of calls