Fix type checking bug in call
Merge branch 'master' of github.com:ksheedlo/csci3155lab4