walk through core specs Todos real world assumptions. syntax and parser to use this core TS. combine with a ⇓ semantic.