Use scala compiler to typecheck python programs.