Added partial functions type checking
Merged