Refined Syntax
Added @bytecode annotation
IValue AST