The goal is to have one piece of code do all the introspection of types;
the only difference is that a bit of wrapper code first tries to lookup
the requested type and only then introspects it (to become an
InnerType).

The application right now breaks horribly and contains some commented
parts of old code; all of that will be solved soon.