some more test are green now

The valid boolean is true for standard, the typechecker set this
variable to false if there is an type error. If valid becomes false,
this value can never become true anymore.