Import Pruviloj.Core as public for eliminators
Import Pruviloj.Core as public for eliminators

This fixes #3476, where the Infer datatype was not seen if clients
didn't import Pruviloj or Pruviloj.Core together with
Pruviloj.Derive.Eliminators.

jmitchell/Idris-dev,eklavya/Idris-dev,bravit/Idris-dev,mpkh/Idris-dev,mpkh/Idris-dev,bravit/Idris-dev,mpkh/Idris-dev,eklavya/Idris-dev,ben-schulz/Idris-dev,FranklinChen/Idris-dev,eklavya/Idris-dev,eklavya/Idris-dev,uuhan/Idris-dev,jmitchell/Idris-dev,Heather/Idris-dev,Heather/Idris-dev,FranklinChen/Idris-dev,bravit/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,ben-schulz/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,jmitchell/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,ben-schulz/Idris-dev,eklavya/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,ben-schulz/Idris-dev,FranklinChen/Idris-dev,FranklinChen/Idris-dev,markuspf/Idris-dev,FranklinChen/Idris-dev,mpkh/Idris-dev,bravit/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,jmitchell/Idris-dev,Heather/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,jmitchell/Idris-dev,kojiromike/Idris-dev,Heather/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,bravit/Idris-dev,ben-schulz/Idris-dev,jmitchell/Idris-dev,eklavya/Idris-dev,ben-schulz/Idris-dev,bravit/Idris-dev,Heather/Idris-dev,FranklinChen/Idris-dev,markuspf/Idris-dev,mpkh/Idris-dev