Top level types and docs
More top level defs