F.17.1.1 Minor Changes

• Backported support for system 'p' type and logiclib P and Z tests

F.17.1.2 Translations