Fix all the caveats in previous version, make type inference cleaner by modifying bytecode generating part of cc0 compiler and export more information in extended bytecode format.

Support uncommon features (features that is never covered in lecture) of C0 language.