Affine type system

Summary