removing old type checking code, removing subtyping code