More scalap refurbishment

  - restore TypTrees from TypeTrees
More scalap refurbishment
  - Add hook to print comments after a tree
  - Print constant types in a comment beside the widened type