
\input{type/absint}
\input{type/declinf}


\input{type/poly}
\input{type/polyinf}
\input{type/unif}

\input{type/higher}
\input{type/systemf}
\input{type/rankn}
\input{type/hiprop}
\input{type/hounif}
\input{type/cube}
