Marianus Scotus, active 13th century