More comprehensive smartmatch.t, supersedes smobj.t