Type checker supports constants directly
mapcat identity -> apply concat
Switch from rfeature to l/featurec in has-cato