Unlifted newtypes

I have done the new coercion handling I mentioned in !364, and I took the liberty to rebase as well. Not sure how best to keep these edits from clobbering anything you've done, so I thought it best just to submit it like this.