changed representation of SAnn, umm.... I think that was it
added polyvariance example
Some more comments