Fix: a few minor bugs in handling flag enums;
Fix: documentation helps for enums.
Fix: a minor parsing bug for return statements inside code sections;
Add: running time type checking for code section returns.