Added strict syntax checking for language BC running mode.
Introduced prototype language BC+ which allows arbitrary formulas in the rule's body.