Type provider library for Idris