Make it so that you can chain together several background theories
Fiddle with timeouts
Disable some stuff to do with the type universe that really isn't working
Add parsing of background theories.