Split HomotopyTypes module into separate modules.
Forgot --without-K.
Update Everything module.