Added an assert.
Extended translation of Rascal user types.