Servo data structures, almost end-to-end compilation