Implement compile time bind analysis on JVM.

Gets compile time multiple dispatch analysis working. For some reason,
inlining doesn't happen yet, though.