Linear type system

Summary