some cleanup

- [CoreOps] now includes what was in [Spec]
- parser has only one entry point
- there is only one load function, which handles imports
- triple-vs-spec is easier than Spec.spec-vs-Core.spec