fix incorrect notation in test case
documented test cases
use enum for item types instead of strings
additional documentation
additional documentation explaining 3-value logic encodings
properly distinguish between symbol values and expression values

symbols may have arbitrary literals as values, expressions only y/m/n