Add Uninhabited instance for Any p []

This lets users use `absurd` to discharge proof obligations about Any.
Merge pull request #1413 from david-christiansen/master

Add Uninhabited instance for Any p []