Avoiding storing tpes and symbs (uneeded in proto)

- Give back about two minutes on Typers.scala.
- Types and symbols are for now uneeded.
Results, a little better.