Add product properties syntax to manifest EBNF spec.