Better support for recursive functions

Currently, recursive functions are limited to one argument and to tail calls only. Are there any plans to remove these constraints?