premerge
finished subtyping