output of examples
prettyprint type variables in locals
tests