checkExplicitBinding implemented. inferBinding now generalizes. It
generates the correct types!