Types and Neural Networks