progress on analysis
more progress on error messages
progress typechecking
progress on remedies for type misalignment
wow look at all that
Fix typo in scaladoc
Merge pull request #15 from gseitz/wip/meta

Fix typo in scaladoc
moved scalatype to util, finished base types
instance summoners for atom, composite
custom atom example
improved custom atom example
removed old impls
fixed formatting of option types
finished initial set of alignment errors
changed analysis summary from action to string
Merge pull request #16 from tpolecat/wip/meta

Wip/meta