New functional language champions type-driven development

For now, Idris is primarily a research tool as the compiler and runtime await improvement