Allow modification of LazyIndexedFunction

Plus, remove True from constraints before solve() in problem