fix opt-name from inf recursion; add multiline comments; support multiple signedness on numeric types;