Remove concrete

Try to remove all concrete syntax in compilation steps of backend.