given a ty, retrieve its constraint
well correspondence vcs now have additional givens from the type constraints it uses
create an empty list for the else block if we don't have an else
Merge pull request #145 from yushan87/cpsc372-fixes

Cpsc372 fixes