ElementaryStrongFunctionalProgramming is another name for TotalFunctionalProgramming.