Comment by kbolino

Indeed, the only missing piece really then is the ability to warn/error when exposed provenance and/or as-casts are used.