Wrote initial version of building correspondence b/w type variables