ligd: Only make RType.a lazy, do not use lazyness elsewhere
ligd: Only make RType.a lazy, do not use lazyness elsewhere

The EMGM translation has shown that this was unneeded. Recursion
only exists at the RType level, so restrict lazyness to that one.

julian-klode/bsc-thesis-code