Untyped string allocation bug fixed.
Assert negation added as a mode.
none != anything semantics.