Minor fix in number sequence type generator.
Final(?) fix to sequence generator.
Monad interface template params now compatible with more types.
Initial Applicative concept.
Applicative instances added.