Minor probmods test updates
Fix bug in parsing strings containing neg. numbers
Better syntax checking for mh-query
Builtin-annotations for automatic asserts and docs