gccrs: Add general TypeBounds checks