[TYPE] Add function call desugaring inside type checker