Special support for partial functions
Updated apply to support all constants
Fixed count for branches
Fixed selects
Partially working lazys
Work on integrating valdefs