Added types for the greeting record.