feat(#1): address mssing reference specification

Experimental는 xunit.dll을 참조해야하나, AssemblyLevetTest에서 이에 대한
명시가 빠져 있었음.
docs(#1): add XML document to TheoremAttribute.