Improvement: deftf and defss are now under the control of namespace.