Created a skeleton function for type inference.
New component for sequencing the HIR transformations.
Added call to ELIMINATE-TYPEQ to sequence of standard HIR transformations.
Added call to SEGREGATE-LEXICALS to sequence of standard HIR transformations.