Converts mem trans repo spec to let syntax
Converts bank spec to let syntax