substitutions contain only types, no more annotations
Cons retains annotations of input list
Removed leftovers from UU parser
Level information is now part of state, no longer passed around
Added optional debug output