added graceful couterparts to some existing methods in TypeChecker
fixed a bug with merging type arguments