Unique constraint for user.name.

Monda-regular removed from the repository.

Style tweaks.