add EitherType (see #15)
WIP on crypto API