this is no longer relevant
 merged
 type propogation through multiplication/division now seems to work
 initial readme