Extracted from ticket # 40443.
...properties don't get serialized so if you compile the program to a 
PBC and run that it doesn't work.
I suspect that originally it was expected that properties would only be 
attached at runtime. But, since we have the option of flagging subs to 
execute at various stages of compilation, it seems safe to assume that 
properties can be attached at various stages of compilation too.