added fracDiv rule and fixed inheritFrom bug
added auxillary nodes, and several helpers