More type utilities
Add more bytecode generation

Corners have been cut…