Added some type checking and gforth output