structure definitions unbundled
Fixed most theorems in basics.v for new structure definitions
Fixed syntax.v
fixed nat_struct.v
bugfix
added coercions
fixed cmono_group
z_struct fixed
fixed fraction_field