[Ada] Revise Storage_Model_Support operations to do checks and take objects and types