Limit Nothing wart to only inferred types
Add Any inference wart

Fixes #11