Program images and portable Scheme backends for Jolt