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