Typechecker now works with only nodes (which is everything) see desc

Could make type checking less stable. Haven't done much testing...
Worried about potential exceptions etc.