Type-Theoretical Bulgarian Grammar