%%% Constraint-Based Type Inference
%%% Atomic subtyping

% Propositions of constraint logic
prop : type.

<= : tp -> tp -> prop.
& : prop -> prop -> prop.