I need to add a new polymorphic option type constructor, can some give a quick list of what files I have to hack to do this. i.e. datatype 'a option = NONE | SOME of 'a can I also assume the "0" is never valid for enums? I