Added pp_list.
Added pp_value in evaluator.
Added AST explanations.

Fixed a bug (?) with GADT and phantom types.