defined binary natural type