updated the rules for constructor type checking, the rules for FunApp and FunStmt still remains for funProto
updated the rules for constructor type checking, the rules for FunApp and FunStmt still remains for funProto

p-org/P,p-org/P,p-org/P,p-org/P,p-org/P