Fix in translation of Rascal types: Sym to Symbol.
Added 'lrel' case forgotten in the type checker.