fix-tags: scala wart remover, type systems -> types
fix-tags: Know Your Types, -type systems, -gradual typing
post: design with algebras: edit distance