Attempt at unifying Cons-low and Cons-high.
Merge branch 'master' of github.com:robert-strandh/SICL