Relying on setting .src to "App" or "Lam" was insufficient to correctly enforce sub-typing because subtype constraints could occur on deeply nested types far away from a function call. This updates the Constraint type to be an object that contains the .types being constrained as well as the direction ("Left" or "Right") of the .subtype constraint if there is on. This allow any subtype constraints to be fully propagated throughout the system.
Relying on setting
.srcto "App" or "Lam" was insufficient to correctly enforce sub-typing because subtype constraints could occur on deeply nested types far away from a function call. This updates theConstrainttype to be an object that contains the.typesbeing constrained as well as the direction ("Left" or "Right") of the.subtypeconstraint if there is on. This allow any subtype constraints to be fully propagated throughout the system.TODO:
.srcproperty onTFunnodes