Split expression resolution and Maybe monad resolution symbols.