first commit
adding files
added .gitignore file
created the empty directories
added types, minor refactoring, added rudimentary README instructions
added Mastermind usage example
A change in a type and cosmetic changes.
fixed some type problems
Merge branch 'master' of github.com:manopapad/proper

Conflicts:
	include/proper_internal.hrl
minor spec fix for check, fixed erl_parse bug
Fixed some types and specs.
Fixed two underspecs.
Merge branch 'master', remote branch 'origin/master'
restructured project tree, updated relevant files
type declarations moved to relevant modules
changed type variables from X to T
exported common header segments to separate file, added binary and bitstring types, minor changes in type-instance testing
cosmetic changes
added ?TRAPEXIT support
added two options