introduced "library" keyword
fixes #55: except for minor improvements w.r.t. formatting, syntax, and one citation, I didn't see anything that really needed to be done.