Relax restriction on data constructor names
Update docs