Added assertion that casts never go to singleton types.

Disabled for now, awaiting a fix.