The Penn Locally Nameless Metatheory Library