achieve the typespecification parser for the frontend