Extending with data types, constructors; adding CALLCONSTR instruction:
work in progress.