Supporting constant recursive functions (all kinds)