from_pipe: move result type from NetKAT_Types to Async_NetKAT
from_pipe: Document Async_NetKAT