ReFake: implement incremental build logic DSL

Relies on the new 'fsc' compile function.