Fixed parsing for select (sort of). Fixed elab for union to assume list type. Fixed eval for union. Added is_same for record_types. Added is_same for Var terms because same_binary was returning false positives.