Once we get arbitrary expression constraints you'll be able to turn on the grid and trace points to plot equations, for example.