subtyping regular