Extended the muRascalVM syntax and ADTs, synchronized the instruction
set.
Added 'HALT' instruction; added a few working examples: (1) factorial;
(2) tail-recursive, two-parameter version of factorial; (3) factorial
with tail optimization.