

utest operator

a ==> it is a;
a ==> Exception!!
a.add(a) ==> IO!!|a| == 1

 System.opMust(a, 
 if typeof(a) == void:

