(*theory Main includes everything*) Main = Bin + Map + Recdef + Record + RelPow + Sexp + String + Calculation