Rework and check Abstract Machine error messages

Rework error messages to be more specific and ensure all necessary error messages are returned.