Added sums to RAFSemigroup, RAFMonoid; cleaned up validation signal creation