Add thoughts about how the non-imperative nature of SML relates to inflexible testing frameworks