Rule implementation using ADL tagged by the rule itself
ported calc4 to new rule scheme
ported calc4b and rule2 test
enable global rule-def