Added descriptions for the abscraction types
Added descriptions to the abstraction types
Merge branch 'master' of https://github.com/CS4311-TBA/visko