Reflection: add projections for Arg-info
Merge pull request #27 from crypto-agda/arg-info-proj

Reflection: add projections for Arg-info