make gc cons threshold more readable
Correctly apply idris font-locking
Fix idris type decl function
Automatically align colons in idris
Add Type snippet for idris