ref: c8166647a8f780ba1a21f3eb460d983c96048759
parent: 69ff322bc36cc9bbdc00528ef86031f631daf925
author: Ori Bernstein <ori@eigenstate.org>
date: Mon Aug 19 13:43:41 EDT 2013
Hash the type parameters correctly when substituting.
Code shifts lead to us hashing the wrong things, leading to bad
substitutions. Fix this.