Added CEK rules and subtyping rules