Add BooleanAt module