renamed .agda to .lagda, no code blocks yet
defined code blocks, tags not yet
added tags to code blocks