Added the check for bitfields in sized polymorphic types. It was folded into a logically related but implimentationally seprate pass.