Marcel2 comments on Pedant, a type checker for Cost Effectiveness Analysis