📝 publish a preprint about directed type theory for ergonomic cost analysis in calf