Eliminating a potentially quadratic behaviour in Require, by using maps
instead of lists to test if a library has already been encountered.