static constructors for nominal variables