Started Semantics3 stuff. Added helper libraries