start to fullfill stmt in type system