Implement parser that supports unsupported features #1235
Description
When writing CakeML code/porting code from other ml implementations one would accidentally use features that CakeML currently doesn't support. This issue is not proposing to implement these features but make the parser successfully parse said features and output error messages along the lines that the feature isn't supported.