Typo fix (Thanks, @robrix)
More NuPRL-like syntax for quotients