Search possibly bringing up wrong result

[RhoSigma]

The mediawiki search is not very smart at all IMO, it first looks for page titles before doing a full text search and the fact that page titles are case sensitive makes it not better. We indeed have a page called "Type" and one "TYPE", but that's the only page which has two different spellings. I'll look to remove the "Type" page soon as it seems to be mostly redundant with the "Variable Types" page, I just have to make sure to let no death links to "Type" behind.