poly_fn step 1: get rid of spurious interfaces
basic template function working
setup next test case, stopping for a while
loosening up the evaluation of type definitions
got a far more advanced macro function working
updating comments
working on objects