statistics package:Agda

Collect statistics.
Should be strict field.
Counters to collect various statistics about meta variables etc. Only for current file.
Get the statistics.
Modify the statistics via given function.
Print the given statistics.