Added more on pointed types, including definition of exactness.
Minor prettifications with pointed types.