šŸ“ publish a preprint about directed type theory for ergonomic cost analysis in calf