Don't expand recursive definitions

Signed-off-by: Shahbaz Youssefi <ShabbyX@gmail.com>
Ignore wildcards in unification

Signed-off-by: Shahbaz Youssefi <ShabbyX@gmail.com>