Quick syntax cleanup of LemmaSharp classes