New types and better case handling
Add BEQ