Add prelim support for regular Formulae