binary encoder typing