Updated Patterns, Valuation

Valuation now an immutable map, Patterns only have the matching method.