Bootstrap: started implementing type restrictions