Fix detection of function definition vs declaration.
This will be necessary for processing function specialization declarations.
Also add a bunch of tests that don't yet work and some infrastructure
for exhaustive verification of declarations.