Less precise types for `halt` and `empty`
Merge pull request #216 from radekm/less-precise-types-halt-empty

Less precise types for `halt` and `empty`