Some idris stuff

This only works on my local build of Idris, btw. Need to push some
tactic fixes.
Added a nuprl thing