SE-0253: Callable values of user-defined nominal types

[Chris_Lattner3 (Chris Lattner)]

This proposal has been accepted with modification. Thank you to everyone who participated in this review!

-Chris