Add typedefs to the frontend and ccross