Scan pre destructure ast macros

[andrew-johnson-4]

Describe your changes

Features:

• implemented the "peep" type phase in AST macro selection
• this is all the typechecking that needs to happen before macro resolution
• this will determine which macro cases are applied and which are ignored
• Specialization applies during this phase, so arbitrary conjugates can be matched and subsumed

Issue ticket number and link

#1468

Checklist before requesting a review

• [ x ] I have performed a self-review of my code
• [ x ] If it is a new feature, I have added thorough tests.
• [ x ] I agree to release these changes under the terms of the permissive MIT license (1).

1. https://github.com/andrew-johnson-4/lambda-mountain/blob/main/LICENSE