Adds two convenience methods: get-base-type-name and combine symbols

get-base-type-name attempts to fully concretize a type variable before getting its name

combine-symbols takes in two symbols and glues them together. This is useful for making instructions like 'i32.add', where the 'i32' could be any type