Convert stuff to Agda's Abstract syntax representation instead of the Concrete one.