scion

WIP

Next two methods, renamed contract library

Added send IO operation, State for opaque fields

Updated references to renamed contract library, made parts of packet matching functions abstract, fixed some preconditions

Matching between input byte string and constructed packet.