Improvements in BasicTypes chapter