Fix a bug in Typing that made typeMap uncehckable if let-bound variables are not in \Gamma, which is stupid