fix wrong module name
tweak version bounds
try to fix some type errors
avoid dangerous fromJust
fix policy
Merge pull request #2 from TobyGoodwin/master

Several fixes