Add noesis_types.hrl