Refactor Call in typechecker to make readable