Add: a few improvements and fixings to the bytecode support;
Fix: a minor bug in type checking for interface types;
Update: tools/doctools;