should non-present property error for left-arrow rules?

[stchang]

For usability, adding this error should probably be accompanied with way to specify custom left-arrow default behavior for non-types.