Add useful tags for binannot/checks
Port to ctypes-trunk api