Experiments in Linear Natural Deduction