Fast semantic parsing with well-typedness guarantees