adding some new grammar elements for record types.  Also fixing constant in library checking bug