chg: Patternmatcher rebuilt again, working now
chg: source() can delimit expressions with '§'
chg: don't deep-evaluate symbols, use subcontext for that
chg: Source() honors Context.Silent
add: Diff() and basics for constrained variables in matcher