environment built through functions, now onto statements
type/scope infra