Added two test revealing problem with generation of tuple and record patterns
Updated the type assistant with functionality to resolve types
Fix for generation of tuple and record patterns when the actual value is union typed