Higher-order_abstract_syntax loading ...