add inner-namespace, defnrecord