Added types for internal representation of sat