LamKind* -> Kind*
Lambda/Pi share Body constructor