Provide shortcut metafunction for type deduction

refs #53
Adds support for return type deduction for all terminals

refs #53