Add `bitwise_and` simulation#26

clarus merged 2 commits intomainformal-land/coq-of-python:mainfrom

gy@AddBitwiseAndformal-land/coq-of-python:gy@AddBitwiseAndCopy head branch name to clipboard