plan transforms: reimplemented stuff in prolog + some comments / info
plan transforms: no lazy lists in descriptions now

+ added a little testing function.