delete TODO comment duplicated in readme
add general top-level structure, main entry-point
naive substitution-based let-polymorphism