red code for some types

[ignatov]

-type nonempty_binary() :: <<_:8, _:_*8>>.
-type nonempty_bitstring() :: <<_:1, _:_*1>>.