More assignability name-checking.
More correction of order of implementation (minus).