Update proper_types.erl