finish type checking expect T-App and T-fun