Make sure hexadecimal number is valid while parsing Json
Error if call a method with an argument that never returns
Error if can’t infer block type (until we make it more reactive)