Implemented more issue types. Relates to #94.
Refactored code analysis. Relates to #94.
Implemented extensions system.

New types:
 * ExtensionLoaderInterface
 * ExtensionLoader
 * ExtensionInterface

`TyphaxASTGenerator` is now constructed with a second parameter, a `ExtensionLoaderInterface`. This parameter is defaulted to a new instance of `ExtensionLoader`.

When an `ExtensionType` is encountered the AST generator queries the extension loader for the appropriate extension, then calls `$extension->generateTypeCheck($this, $type)`, where `$this` is the current `TyphaxASTGenerator` instance, and `$type` is the Typhax `ExtensionType` instance.

The extension is required to produce a Pasta `Closure`, which is injected into the generated code like any other closure-based type check.
Merge pull request #95 from jmalloc/extension-types

Implemented extensions system.