Changes to some constraints
Few more constraint changes
Changed isNormal to match actual argument types.

Also is senior and is grad were used incorrectly in a_assert grad and senior methods.
Constraints update, added commented-out function
Merge branch 'master' of https://github.com/niode/cpsc433
Some updates; started getting ready for a root node
Constructor for initial state, might work?
Fixed some import issues
Stuff
Merge branch 'master' of https://github.com/niode/cpsc433
added timeStop field. Get and set.
Changes to runtime check
Merge branch 'master' of https://github.com/niode/cpsc433
Removed Daniel's root contruct
Sync