move NullHomotopy into its own file

It's the only thing in `Misc` right now, so why not give the imports a more suggestive name.