Working on subtyping a bit more.