Fixed make_type to allow for pointer-equality checking on types.