Removing getSentinel from PTDefnLiteral.