try to be consistent about using [co]domain instead of source/target
write about hole-based delta lenses
"hole-based" is not really a good name for this work
remove some obsolete comments
write about constraint maintainers
tweaks
whitespace only