Complete basic Poly implementation of TheoryIO (separate dat files) Still to tweak Holmake and to make sure it all works on Moscow ML
Refactor some .mlb files to get better sharing/modularity