Added translation rules, and example of code generation using the
funcImpl : (translation from functions to HashMap) using the theory
plug-in.