jckarter/clay — pull request #458 by agemogolk (2012-12-14 00:39:31+00:00)
Title: Final overloads

Allow finalization of overload symbols excluding pattern-overloads and overloadable prim-ops (these can be added later if necessary).