More Levenshtein stuff:types in parameters. code cleanups. Self-Inherit error.

Passes the spectests, too :)