Fix to the type checker: added case of 'lrel' to the type instantiation.
Improved an exception message.