Linearise type decl in SMT