lots of UI changes; microtheory management; ppdocument serialization to json; minor changes/fixes
merge