Type-Preserving Compilation of FGJ