In his budget proposal last night, Providence Mayor Jorge Elorza struck a can-do attitude on improving the city’s schools and building affordable housing. One thing that didn’t get much attention: the city’s $1 billion unfunded pension liability. There are a handful of painful options the city could consider to fix the problem, but none of them are popular.

