var a: Type
types Ref a < Loc
type Loc := Ref a
op coerce : Ref a -> Loc