Some improvements on the semantic analysis
Changed translation of implicit assignments and structureless patterns