SMS dit: Pointwise Relational Programming