This is an implementation of a subset scheme R6RS.