Algumas refatorações para checagem de tipos e outras