rej14: Add backward propagation rules

 * Add switch to produce either forward or backward rules
 * Add api to read enum properties