Collapse nested allocation state monads in compiler

[cimbul]

The compiler module has a state monad within a state monad to keep track of the allocations of temporary and permanent variables. Consider collapsing this into a single state with a tuple of (temporary, permanent) allocations.

hasklog/src/Hasklog/Compiler.hs

Line 263 in aa7ff57

allocate :: VariableSet -> SimpleTerm -> StateT Allocation (State Allocation) TaggedTerm