termination for v_to_char_list_def
get typeSysPropsTheory building