Rename defy_{const,pure} attributes