Extend sublist theory, removing cheats and import it in other theories.
Prove some useful automatic rewrites for sublist.