Add some incomplete polynomial coversion code, with lots of notes