Update type_and_typeclasses.md