aadl: change bool and integer base type names
aadl: process impl is now named as such
aadl: changes to render correct global dataports
aadl: improved escaping
aadl: add typeImpl function
ivory: Add string definition quasiquoter.

- Change the IvoryString type class to provide access to
  the field labels rather than accessing refs.
- Added 'StructName' associated type to 'IvoryStruct' to
  get a structure type's name.
- Added generic string functions to ivory-stdlib.
ivory-backend-c: only write a new dep.mk file if changed
ivory-backend-c: refactor render vs write distinction
ivory-model-check: initial commit.
model-checking: SMT interaction.
model-check stores now.