adding content assist extention schema
closed #17
fixing really dumb mistake in assumptions checking
fixing a bunch of problems with counter examples since record types were introduced
closed #18. Data implementations that extend a base type are now interepreted as such
adding lemma to prove motor ranges in smaccmpilotphase2
filling out requirements for control laws in smaccm phase II
adding more AGREE PID modeling
more pid stuff
massive refactor for AGREE
fixing cycle checking in AGREE
fixing some bugs in agree
fixing some consistency checking stuff
changing arming logic to not deal with queues
minor changes to scoping.  Updates to QFCS model
updates to new qfcs model
updates to new qfcs model
finalizing isas reqs for new qfcs
more updates to QFCS
more updates to new QFCS model