add core/Bool and core/List

neither compile yet though
part way through type and construct code

not working yet, but needed to checkpoint the code