Define complex binary structures using composable primitives