Remove --typeintype as it's no longer needed with the new Idris version.
Remove --typeintype as it's no longer needed with the new Idris version.

bgaster/lightyear,david-christiansen/lightyear,Heather/lightyear