Better Error Locations

The refactor done in #15 (closed) will provide new ways of joining information (like position in the text) to terms and commands alike. This issue is about scratching our heads to encode this information in a way that integrates nicely with the memory model.