Symbol declaration and implementation checking