Working on translation of the Rascal 'visit' expression: nodes and ADTs
(almost done!).