add a few type inference tests
delete TODO comment duplicated in readme
add general top-level structure, main entry-point