Fix a bug in the LF type checker: normalization of terms of singleton type.
Make the $admit tactic work with normalization.