Fix for evaluation of partial things at the REPL
Fix for evaluation of partial things at the REPL

This proceeds only for canonical values, but it didn't consider type
constructors canonical, which they are.

mpkh/Idris-dev,Heather/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,Heather/Idris-dev,mpkh/Idris-dev,mpkh/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,mpkh/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,Heather/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,Heather/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev