More experimental work with first-class modules.

Still few (interesting ?) problems though ...