Human-assisted compilation from a functional language to Javascript