add type declaration. Need to change gen_exp to accept fix

add type declaration. Need to change gen_exp to accept fix #176