Sandbox for experiments with homotopy type theory