Rewrote method on COMPILE-AST specialzed to THE-AST now that we have VALUES-LOCATIONs.
Added INVOCATION to WITH-ACCESSORS for better symmetry.