use new compset fragment in HOL's examples/parsing