Started unifying OperatorAlgebra and FunctionalAlgebra, and promoting spaces for functionals
Added SpaceFunctional