Added a reference to the expression problem and a reference to the paper
"Data types a la carte" where a solution is described.