About this smart-casting behavior... that sounds bad to me when thinking about binary compatibility. What if the class containing the value later gets a custom getter? And then your compiled code still has the smart cast in it...