Compile-time meta-programming in a dynamically typed OO language