Added use cases regarding units, algebraic identifier nature, code generation.