Simply_typed_lambda_calculus loading ...