Tensorism is divided into two sibling crates: * tensorism contains types and traits. * tensorism-gen contains macros to efficiently write formulas.