Relevant and less relevant QType steps

[ke]

QType-Schritte wie unify, get_rule_name, get_constitutent_name "erkennt" man momentan nur daran, dass ein Haufen von make_type/2-calls stattfindet, für die es aber so gut wie keine Kontext-Informationen gibt. Ich glaube, die ganzen make_type/2-Calls möchte eigentlich niemand sehen, die größeren logischen Schritte wie unify wären viel wichtiger.