Added an import feature to the ATS grammar.