Started on the DotExpr. There's comments to explain what needs to be done. Basically set the left type on entry, eval on leave.