Fixed lhs2tex build errors and started to reorganize the introduction of the effects implementation.