Bool and Prime modules, List.elemWithin

Added some new modules and a new function to check membership in a list
within some bound.