Header file types.hpp