Documentation build broken

[Bike]

The documentation auto build gizmo is broken, so the documentation is out of date until that's fixed.

The problem is that it tries to quickload ctype-tfun. This stopped working because quicklisp stopped being able to find ctype-tfun, possibly because ctype-tfun was broken.

I have since fixed the system, and also moved its definition to the main ctype.asd, which should make it easier for things to find. This involved renaming it to ctype/tfun. However, this fixed ctype isn't in quicklisp yet, so in the meantime documentation can only be uploaded manually I guess.