Even when you don’t have type recommendations, you can start with some of the defaults which have been previously integrated. https://hedgedoc.digillab.uni-augsburg.de/s/3f5vpZrxU