resource monad in compilation WIP
resource monad in TSLAbsGame
resource monad in theory solver
Merge branch 'resource'

Conflicts:
	tsl2.cabal
eliminate all uses of compileBDD'