Added articles for functors and type variance, sorts and searches and version numbering schemes