LFP – A Logical Framework with External Predicates (Announcement and survey)