Implementing statement constructors, test visitors, renamed some types