More work on Rule.hs