Changes to base

Changes to base:
commit c1d3546420ee482bbbd9f15d45a6e8a26304d419
Author: Iavor S. Diatchki <diatchki@galois.com>
Date:   Tue Mar 18 19:35:05 2014 -0700

    Add functions for comparing type-level Nats and Symbols.