WIP: begins implementing dependent function contracts
adds dependent function contracts
fixes enforest token bug in optional argument contract syntax