add constructor for named Cons
distinguish constructors and injections
more lifting for SDF2 to SDF3
use option type instead of list type
consider bracket attributes
improved pp generation
improved SDF2 generation
extract string representations of template elements
start on reimplementing completion template generation
extracted SDF2 to SDF3 conversion
exclude esv generation, since it relies on old-style name resolution,
which is no longer available