added PRESOLVE enum

- and tiied up a bit