Compilation and concrete-syntax conversion