const, var and proc decl impl and tests