added prettier trait, some comments in package object
added prettier trait, some comments in package object

leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III