Linear Task Logic Model

A minimal model structure for linear task logic.