Relaxed conditions for when to carry out tensor products with operators and states, so that it can be used more flexibly with combinations of states and vectors, for example in a tensor product of a state and an identity operator (to project out some part of a composite system)
added an identity operator
Added classes for bosonic Fock and Coherent states (Bras and Kets)