Initial version of Carter-Wegman MAC toy example (which could do with some cleanup)