check-type changed
DONE:
-check_type is now a bitset
-operator[] for bash_parameter
-doxygen commented
TODO:
-follow loop unification