committing version 2014a: see changelog, but major change is implementation of semanticDeclaration