subshafts
not defined yet