Trying two modules for onestep and tableau reasoner, with shared types

10 jobs for !9 with onestep
merge request