Klop - a statically typed term rewriting programming language