This is basically correct, the theory of distributions can be presented in terms of linear functionals. A functional is a map that takes a function and returns a scalar. 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.