API: cleanup contextual type of conversions#62

gares wants to merge 3 commits intomasterLPCIC/elpi:masterfrom

api/contextualLPCIC/elpi:api/contextualCopy head branch name to clipboard