Start sketch of type system docs
More small tweaks to build system