prove that new_type preserves consistency