Added localcomment types
Fixed a bug
Merge branch 'master' of https://github.com/KWARC/planetary
Merge pull request #390 from tkw1536/master

Added localcomment types