First-class worlds