Re-implement Datatype package with TypeBase sexps (not adjoin)
Change src/bool to src/1 as a prelude to experimentation!