I've implemented better signature matching.

This is original idea for better type signature matching.

function(a:Int, b:Int): Int{}

Considering entering the following originally returned #function:0, but we can do better than this by using the marco nature of haxe we can get the AST from the types. This is a basic idea, but would be good to get your input.

Si