Enhancement: AOT Shape Tracker

[hikettei]

• [ ] Add: (declaim-st ... (function name))
• [ ] C-c C-c and produce the shape error
• [ ] CLTL2 for the requirement, disabled by the envvar

[hikettei]

after the frontend is implemented and gpt2 has worked then it is time to think about the frontend API:

• [ ] AOT Shape Inference
• [ ] Beautiful API using macros