Salsa20 working better with type checker improvements (thanks, Sean!)