Support for enumerations in JLustre2Excel