Way less stuff
Fix some earlier text
Split Typeclasses