32bit fixes

+ PointerType for bitWidth 
+ cleand up the PR
ditto