[MLton] survey

[Stephen Weeks]

> I definitely like this one better, but I wouldn't use numbers.  (On
> my version of Firefox the numbers are incredibly small.)  I know
> that putting text would spread things out a lot, but there seems to
> be quite a bit of spare room.

OK, I switched to "more" and "less" (as in beneficial).  Have another
look.  The only thing I'm unsure of now is whether I should drop the
repeated "more" and "less" for each category.  With the default now
set to "less", it shouldn't be possible to forget.