transform/variance

Added variance checking.
`exists && ...`? Or suitable override in `NoSymbol`?