β-reduce in TypesBeta.replace
Improve an error message