Bumping page size, and removing LetMany (now stdlib)