v0.1.106: Hotfix ListBytes:getOrDefault with List:get (#313)
* Use normal list indexing (`List[Idx]`, `LIST.get`) to define `ListBytes:getOrDefault` To avoid recursion and element-wise list matching when we index into a `ListBytes`, the hooked function for normal lists should be used. We are already doing this for the `ListBytes:primitiveLookup` function. For the case of `ListBytes:getOrDefault`, this means to either rewrite to an expression backed by the `LIST.get` function, or to the default value when the index is out of range. * remove isBytes constraint from getBuffer rules (assume there are always bytes) * Set Version: 0.1.102 * Revert "remove isBytes constraint from getBuffer rules (assume there are always bytes)" This reverts commit d8868937759cb51b0b8de22ff70c364770537607. * Set Version: 0.1.106 --------- Co-authored-by: devops <[email protected]>