satisfies check must come before map check

*records are maps*
mark some schema types not implemented
decline to make a generator for Protocol schema
maybe
NamedSchema and Either
decline to implement Both
decline ConditionalSchema