WIP on supporting dynamic languages via Observable bytecode enhancements rather than wide types