implemented a naive unification algorithm for BuiltinLists