put lemma in comment
rename macro to BitInPos
get rid of sizeof