idris-lang/Idris-dev — pull request #558 by ahmadsalim (2013-10-22 10:25:11+00:00)
Title: Removed types from keyword list

This allows types to be used in package names, and other places. As far as I can recall this does not allow these types to be overloaded, because they are parsed before at compile time.