assigned assertions now take either a class (with type checking) or a symbol for arbitrary assignment checking.
assigned assertions now take either a class (with type checking) or a symbol for arbitrary assignment checking.

brentgreeff/funktional,brentgreeff/funktional