added doc for types.hh