pub fn parse_data_expression( text: &str, data_spec: &data_specification, ) -> Result<UniquePtr<aterm>, Exception>
Parses the given text and typechecks it using the given data specification