move NullHomotopy into its own file