Proofs of properties have now an explicit 'is' radix: 'joinIsNatTrans' instead of 'joinNatTrans' or 'natTransJoin'. This should allow to cope with 'MisMonad' cases in an halfway seamless way.

Removed hiding directives. Unfortunately, their scope is not limited to the module and modules that import a module that hides 'name' cannot access 'name'!

Eliminated first mutual pattern via |mapPresExtEx| in 'TimeDiscreteDynamicalSystems/Monadic.lidr'; cleanup.