gitignore + naïve rewrite system
merge
rewriting system compiles
add mk_dummy