>I'm not sure how to encode linearity in your type system though... You don't really, the same way that a regular function R->R has no specific type informatio

>I'm not sure how to encode linearity in your type system though... You don't really, the same way that a regular function R->R has no specific type information that tells you ti's linear or not, e.g. both x and sin(x^2) have the same type.