Seman works again
- new traits to type from string and from a file
- SemanSpec2 uses a table to test types and errors
- SemanSpec is just a place to put small chunks of code and try to type it