Add related work on type-preserving compilation