Restrict types of _8va et al