cosmetic/improvement: proplist keys' types are visible now