Fix #63: Use auto-value for Event classes.