New feature: add the BasicSpec model.
New feature: add the SpecDoc model.