Slight improvement to `type_vars` for experimental kernel. Renamed antiquotation fns.