Make q3 typecheck by adding support declarations.