Closes #117: don't mix specialization and miniboxing

use only miniboxing! ;)