New tests, and add a method to SyntaxChecker

Rather than replicating the types all the time, make the syntax checker provide
its supported types directly.

Signed-off-by: Francis Galiegue <fgaliegue@gmail.com>