Links for kitaru-typesafe-evaluator