debugging patterns, added support for additional base types, progressing towards bootstrapped pre-typing