Delete smartmatch

See also #11