Make newtypes abstract, and linearise their sort in SMT