Cross Reference: /hets/HasCASL/test/Subtype5.hascasl
var a: Type
types Ref a < Loc
type Loc := Ref a
op coerce : Ref a -> Loc