param type-checking in FunCallExps