insert module:Data.Set -package:sets package:linear-base