Implement Lucretia semantic error feedback

Issue #18 invalid
Xi Chan repo owner created an issue

Show precisely place and type of a semantic error.