Add expr ops for Var matrices. Move some classes to belief_constraints. Reduce include dependencies regarding belief.