typed compilation, estimation