added binary and atom validation, bugfixes on the proplist normalization code