fixing AppFull.

- Needed to expose a less aggressive interface.
- Also added some lemmas about apps and its type