@Override
public void exitAppliedType(TypeParser.AppliedTypeContext ctx) {
Type[] types = this.popParams();
this.addParam(Type.app(types));
}
@Override
public final void exitConstantType(TypeParser.ConstantTypeContext ctx) {
Type[] types = this.popParams();
this.addParam(Type.app(types));
}