trying to do a bit more cleanup.
trying to do a bit more cleanup.

- land, lor, etc. are not operators
- float, int, array, etc. are not types
- adding more tactics
- adding more terminators
- adding Context as a vernac

sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments,sol/pygments