Simple Forth interpreter for TPs