support all TypeDecls in SMT bridge

Now that we inline the types at the site of a TypeExprID, it's unnecessary to do
anything with TypeDecls themselves other than declaring enum members. This lets
us nicely remove any special handling here.