Added awlc-algebra and awlc-statistics, minor edits