walk through core specs

Todos

• real world assumptions.
• syntax and parser to use this core TS.
• combine with a ⇓ semantic.