More record subtyping related code elimination
Remove more code