Gave the MathematicalLaTeX monad more potential by adding a StateT. Restructured shorttest, now works consequenty in this monad rather then stepping out to plain LaTeXT all the time.
Implemented the possibility to end sentences with displayed equations, by adding punctuation-mark request to the rendering monad's internal state.
Exported previously forgotten rough-equation class.
Added support for "hard calculations", i.e. such calculations that the library cannot actually carry out but can still typeset, as well as keep track of the result's type.
Moved the fixed-length functor types to a seperate provate module; wrote 'unknown' function for variables we know nothing about whatsoever.
Changed implementation of the arguments-stack in 'MathEnvd' (as well as the one the e.g. 'lSetSum' uses for accumulating summation-variables) from nested-tuples to 'HList'.
'BasedUpon' class for deconstructing argument stacks built up by e.g. nested sums.