Add variable unifier and pattern matcher-based ModusPonens forward chainer for 'class' rule #2

Also updates SQL dump of class dataset