Add a dependant type theory base.