Update: bytecode encoding and decoding for class inheritance;
Add: minor improvements and fixings to the handling of mixin constructors.