Added beertype mapping