add erf to the language.  Implement disintegrate of if_ too.
hand merge, and add erf to language, and implement disintegrate of if_.