Check type compatibility before setting discriminant
Update
AnyPointer todo
Version bump