Added atoms for Parameterized Types.

Both examples and solutions for Parameterized Types.