Added fibered pointed types

But they need to be moved in the right place
Minor
Merge branch 'master' of https://github.com/ngambino/hinitial