Made skeleton for RuleInterpretation.
Added comments to DataBase::interpretRules().
Added lots of notes.