Improved pointer types.