Some brief notes for quick reference.
Expression type evaluation.
Getting the Scalar type.
Getting expression Type by type traits.