added pdf generation for all examples
changed example to show function declaration + ref
added checker and inferrer stubs
redesigned semantic model to use Visitor module