Fixed error in lub computation, removed remaining type errors from CheckTypes