[ Re #71 ] DFAMin: add type signatures
[ Re #71 ] DFAMin: add type signatures

To increase documentation and readability, I added type signatures also
to some local definitions.

Needs language extension ScopedTypeVariables.

simonmar/alex,simonmar/alex