temporarily revert previous tweaks to def-typed-record

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2241 303c5b2c-9740-0410-b014-fd8f9db7be32
try-gl: go back to using ACL2::X as the magic variable since ACL2::* isn't a valid variable name

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2243 303c5b2c-9740-0410-b014-fd8f9db7be32