Save pattern definitions/missing cases

Fixes #955. Requires a 'make lib_clean'.
Remove some commented out code
Add stack of elaboration context to ElaboratingArg

This is for argument-specific error reflection.