Removed old code. Updated comments for ModuleConsts. Prevent superfluous variable description for lambda-bound variables.
Corrected transformation of types in signatures (class contexts were not handled).