Make all operations 100% typed.