Fix treatment of universe context in typecheck inductive (was added
twice). Thanks to Marc Lasson for spotting this.