Remove binaries
Infer types instead of using binannot