add prelude key-value to TODO
Merge branch 'prelude'
enable pretty print test
tighten pretty_print test