Meta-Programming System support for Clafer