Zaslat SMS: A Functional Implementation of the Formal Template Language