Module Make.Michelson_base

Basic Michelson samplers, re-exported for convenience by the functor.