Add Meta and replace Quantifier constants with Meta's ones