Reflection on type systems

These are soom good deep thoughts.