Updated explanation of renaming
Added size inference example