Add types to HOAS.