Type reconstruction/RTTI: improve handling of newtypes