Cirquent_calculus loading ...