Support associated consts

[jackh726]

Implement associated constants, which are similar to associated types, except that they can also have values in traits (until associated_type_defaults gets stabilized).