[soegaard]

The operator `expr :~ annot` simply attaches the static information to the expression.

The operator `expr :: annot` will at runtime insert a check that the expression satisfies the annotation.

[scotty79]

What if I want both behaviors at the same time? Have some static information attached and also do a runtime check?