updated QCheck
update toward terms fully annotated with types in progress (change that breaks almost everything)