Make further improvements to HOLsexp implementation - install a pretty-printer for it in prelude - provide a fromString implementation - remove possible circularity in implementation's dependencies
Implement s-expression type for use in serialisation applications