A type of well-formed de bruijn levels
module Library now serves as interface to standard library