Re: Option type optimizations

[LeuGim]

Seems you can shorten `T is seq or T is string or T is ptr or T is ref` to `T 
is PointerType` everywhere.