Compilation form and normal form