Fix bug in `genericTypeOfJ'.
Add some pretty crude garbage collection to remove useless metas.
Fix bug in prune