Tensors static typing

[ckaran]

@camelid

Hmm, I think that might require implementing dependent types, which would be a pretty big change to the type system.

Oddly enough, dependent types just came up in Idea: make assert!() a keyword - REJECTED

@leonardo, would that thread be helpful to you?