ref: 38f794994e2b62efdbaebabf18eb0cee84390a2f
parent: da7a658feb3f1d785fc557747baf9557c7926520
author: Ori Bernstein <ori@eigenstate.org>
date: Tue Aug 7 18:50:53 EDT 2012
Rename type names.
Tyname -> Tyunres (unresolved types)
Tyalias -> Tyname (named types)