Fix unit subtyping