cleanup and bugfix in Ctx: ensure `declare_ty/add_signature` do the same thing
cleanup and bugfix in Ctx: ensure `declare_ty/add_signature` do the same thing

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition