Added declarations and patterns to ast.mli