Not really forth - just playing TODO run list of ops on stack parsing from string repl theorem proving