Modified how patterns are printed out for better readability; each variable in a structured pattern now gets assigned a proper type and put into the symbol table for that function