Simplified the subtyping constraints