Added parameter-type overloading, everything compiles an the analyzer
completes all passes through the TestTranslation example. Java output
is broken for now