Change some definitional behaviours
Making some progress on the Hopf fibration