add leaf type for identity matrix, with dimension/flop computations and code generation
add parser and optimizer support for identity matrices
multipass optimization, with smart handling when removed subexpressions correspond to existing variables
Merge remote-tracking branch 'origin/itentity_matrices'