Create type_and_typeclasses.md