fjs/fsc/tokenizer

• module.f.mjs
• proof.f.mjs
• types.ts

• error-message-specificity.md
• serialized-proof-expectations.md

Idle. Press Run to start the suite.

• ./proof.f.mjs