Changed: getIdentifier removed and more generic "proposeDataType" introduced
Added: outer type inference for function parameters