Add function types and void type aliases.
Add matcher declaration to main.