progress on compiler upgrade. nearly done, then needs testing.
new weakening procedure
starting edits to post-PE substitution
handle special case: new.locPt != x.locPt
trim packet trigger before saving to compile list
weakening of negative literals
constants are strongly safe
remove ANY vars safely during compliation
toward always summing integers in order
Merge branch 'tim_dev'