[axioms] fix abstract datatypes and constants

• ADT are incorrectly reported as parameters
• Constants are missing in listed parameters