Improve interface for conversion, promotion of backend types

[gaurav-arya]

Currently we just use the constructor, which has some issues and has become type instable for SmoothedFIs in some cases.