cofola

chore: remove elsarticle template

convert e in T to T.count(e) > 0

chore: remove .serena from tracking and add to .gitignore

fix(encoder): correct pattern encoding for flatten-based sequences

feat(ir): add TypeCheckPass for spec-conformant operator type checking