move exceptions classes from TypeSystem.scala to SfpException.scala
completing the semantics rules
implement Object & Schema test suite for ValueSystem