added typetheory epub files.