Bootstrap: support default arguments and type restrictions at the same type. Added missing spec file.