initial commit with normalize and ok type