RuSTy User Documentation

Classes cannot contain implementation