Added API definitions, for C translation, to functionImpl and setImpl Theories.