Established the beginnings of a parser (untested, incomplete)
Modified "SemanticType" to be called "Term" instead, altered derived
class names to express this.
Established public format of extensions of Term for AlgebraParser