fixed the lifting correct proof, enabled egress_spec to egress_port passing, make H and M declaration typedefs. #343

Closed nikaido-shinku closed 2 years ago