5-1: ExprT -> Integer
5-2: String -> Maybe Integer
5-3: Expr typeclass, and Expr ExprT instance
5-4: Expr {Integer,Bool,MinMax,Mod7}
5-x: Enabling tests
Adding implementation for StackVM