added comment documenting how Propn should be used (since can't docstring defrecord)