Added support for function call typechecking, without UFCS