fixes
add basic inference for funcs
add func call expression