Implement Unit subtyping