rename :schemes into :theory in the default properties