Most DatalogUnfolder attributes are now final and unmodifiable
Attribute for Multiple typed function symbols removed from the DatalogUnfolder.