Ftypes: Structured foreign types