Updated readme and language spec.  Fixed copy and assign operator so it throws an exception if copy is missing.