Constrain width(%x) to have same size as %x
Revert "Constrain width(%x) to have same size as %x"

This reverts commit 34e380de09a2dd06830d96fd68ef784086d747be.

This commit broke the following code:
%2 = 2
  =>
%1 = i2 0
%2 = add i3 0, width(%1)
rename main.py to alive.py
improve fix to cast named types to integers for conversion ops
Add predicate isPowerOf2