Declarations+types: add tests and test-drive.