More robust derefenceable types support