specialize number tag
style fix
validate reify/deftype interfaces