Greatly simplified StateRep constructors