Added a box (ref) type; added a partial order (subtyping) on semantic types.