Implemented most of rule reduction
Merging and implementing reductions