Fixed type inheritance in a type variable
Added some notes
Improved performance
Improving performance
Added further performance improvements
Updated documentation