WyIL: Addeding WyIL attributes of various kinds. #442