s/subtype UNSIGNED is (resolved)/subtype UNSIGNED is/
s/subtype SIGNED is (resolved)/subtype SIGNED is/
s/alias U_UNSIGNED/subtype U_UNSIGNED/
s/alias U_SIGNED/subtype U_SIGNED/
s/function "?="/function \\?=\\/
s@function "?/="@function \\?/=\\@
s/function "?<"/function \\?<\\/
s/function "?<="/function \\?<=\\/
s/function "?>"/function \\?>\\/
s/function "?>="/function \\?>=\\/
s/function "??"/function \\??\\/
s/function "and" (L : UNRESOLVED_SIGNED)/function and_reduce (L : UNRESOLVED_SIGNED)/
s/function "nand" (L : UNRESOLVED_SIGNED)/function nand_reduce (L : UNRESOLVED_SIGNED)/
s/function "or" (L : UNRESOLVED_SIGNED)/function or_reduce (L : UNRESOLVED_SIGNED)/
s/function "nor" (L : UNRESOLVED_SIGNED)/function nor_reduce (L : UNRESOLVED_SIGNED)/
s/function "xor" (L : UNRESOLVED_SIGNED)/function xor_reduce (L : UNRESOLVED_SIGNED)/
s/function "xnor" (L : UNRESOLVED_SIGNED)/function xnor_reduce (L : UNRESOLVED_SIGNED)/
s/function "and" (L : UNRESOLVED_UNSIGNED)/function and_reduce (L : UNRESOLVED_UNSIGNED)/
s/function "nand" (L : UNRESOLVED_UNSIGNED)/function nand_reduce (L : UNRESOLVED_UNSIGNED)/
s/function "or" (L : UNRESOLVED_UNSIGNED)/function or_reduce (L : UNRESOLVED_UNSIGNED)/
s/function "nor" (L : UNRESOLVED_UNSIGNED)/function nor_reduce (L : UNRESOLVED_UNSIGNED)/
s/function "xor" (L : UNRESOLVED_UNSIGNED)/function xor_reduce (L : UNRESOLVED_UNSIGNED)/
s/function "xnor" (L : UNRESOLVED_UNSIGNED)/function xnor_reduce (L : UNRESOLVED_UNSIGNED)/
s/-- function to_string (value : UNRESOLVED_UNSIGNED) return STRING;/function to_string (value : UNRESOLVED_UNSIGNED) return STRING;/
s/-- function to_string (value : UNRESOLVED_SIGNED) return STRING;/function to_string (value : UNRESOLVED_SIGNED) return STRING;/