po_hi_types implemented in ACSL
Merge branch 'po_hi_types' into acsl

merging work in po_hi_types into acsl to share changes into origin/acsl