Post: Agda: Second Impressions

Also:
* Fix fixbullets filter to distinguish column-1 bullet from column-1 italic.
* Minor revisions to the first Agda article.