Fixed an issue with certain symbol declarations not being properly assigned the correct sort.