Minor issues currently unimplemented in forward inference

- [ ] Array elements do not get their expected values passed down - [ ] Why the `get_property` call and a second `get_property_unbound` call? - [ ] Maybe conditionals should perform narrowing? - [ ] Maybe to perform speed up we do not need to do all the evaluation if the RHS does not contain any functions with unspecified parameters?