TODO list
revised idea about how the pragma version should look
change extends/with to isa/does