Abstract sketching/ compilation

Sketching