[Track]: Add Key Features and Icons

[BethanyG]

Pulled from Loyola Marymount University and smlnj

SML Features

1. Modular: Powerful and flexible system supporting information hiding and genericity.
2. Functionally Focused: All the benefits of functional programming with some imperative features.
3. Static Typing: Safety first! Strong guarantees about the correctness of programs at compile time.
4. Automatic type inference: The compiler can often calculate type from context. Programs become concise and easier to write.
5. Parametric polymorphism: Abstractions across data types - think templates in C++ or generics in Ada.
6. Algebraic datatypes: Easy to define and easy to use, with robust pattern matching and pattern-exhaustiveness.