Add types.hh with basic precise type definitions.