Actor/Resource framework
equality as atomic formula
datatype folded sequence (BigOp) added
cleaned up reaction
correction to spanNew