make the initial program type check (after updated AST for App)