Property definitions

trees $ TrieNode :: c=
	var c: nullable Char
lib/trees/trie.nit:185,2--21