playing with infinity...
isolate patError type
adding totality flag
update tests