Adds a basic constructor

Also redefines state ids deterministically