Tidy up typechecking for newtypes