Move expr typedefs to BasicProblem