Regular-expression specification

reLoop and reRepeat are indexed.

Indexed operators

Constants

These take no sort: their result is RegLan whatever the context.