specifying the regular expression features

[Geal]

we should have a clear definition of what is accepted or not in the regular expression constraints, as different engines will have different behaviour. As an example, we probably want to disallow backtracking, since a regex can be provided in an attenuated block (backtracking can lead to high CPU usage).