no more Eq for vars
simplify RuleFunc
simplify classes in signatures
simplify
clean
rename Rule -> RuleInfo, RuleFunc -> Rule
type signatures
meta rules
adding simu
clean
hlint
bug show eval
rename _rRuleFunc