Add a test for checking bugs with β-reduction on types