Fix class typechecking for Name types

Fixed check-class-unit and get-field for the addition
of recursive Name types.