A Python dictionary implementation that supports properties