a start on a system to explore that classic "let polymorphism+ref cells" bug

so far, we've got the buggy let rule and polymorphism going
still need to do ref cells, tho