Update BDD/expression documentation